COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Mental situation calculus
C00005 ENDMK
C⊗;
Mental situation calculus

	The idea is to apply the situation calculus to mental situations.
In a mental situation the subject, man or machine, has certain beliefs,
desires and intentions.  When a mental event takes place, a new
mental situation results with new beliefs desires and intentions.
An important class of mental events is the class of mental actions.
We can regard the subject's mental situation either as an autonomous
system or not.  Regarding it as an autonomous system means giving
rules that determine its mental actions as a function of the mental
situation and also consider inputs as giving rise to mental events.
The other point of view considers the effects of mental actions
without considering how they arise.

What mental fluents are there?  What mental events are there?
What is the effect of the mental events?  What mental laws are
there determining what mental events will occur?  What deontic
mental laws are there determining what mental events should occur.

Mental fluents.
goal(p,ss)
believes(p,ss)
db(p,ss)
canachult(p,ss)
should(a,ss) where  a  is an action

Mental events
learns-from-outside(p)
deduces(p)
discovers(λx.p(x))

Mental actions
tries-to-find(λx.p(x))

Mental objects
Just as there are towers in the blocks world, there should be complex
mental objects.